English algorithmic undecidability: tłumaczenie na inne języki